2 5 A pr 2 00 9 A process algebra for the Span ( Graph ) model of concurrency 1
نویسندگان
چکیده
1 The authors gratefully acknowledge financial support from the Universitá dell'Insubria and the Italian Government PRIN project ART (Analisi di sistemi di Riduzione mediante sistemi di Transizione).
منابع مشابه
Some Finite-Graph Models for Process Algebra
In this paper, we present a number of closely related models of process algebra [2, 3, 4], called finite-graph models. In a finite-graph model of process algebra, each process is a bisimulafion class of a particular kind of process graphs, called recursive process graphs. Just as in the standard graph model [I], each guarded recursive specification has exactly one solution in a finite-graph mod...
متن کاملar X iv : h ep - p h / 03 04 07 9 v 1 8 A pr 2 00 3 ON A TWO POMERON DESCRIPTION OF THE F 2 STRUCTURE FUNCTION
We perform a global fit to the inclusive structure function considering a QCD inspired model based on the summation of gluon ladders describing the ep scattering. In lines of a two Pomeron approach, the structure function F 2 has a hard piece given by the model and the remaining soft contributions: the soft Pomeron and non-singlet content. We have investigated several choices for the soft Pomer...
متن کاملMinimization and Minimal Realization in Span(Graph)
The context of this article is the program to study the bicategory of spans of graphs as an algebra of processes, with applications to concurrency theory. The objective here is to study functorial aspects of reachability, minimization and minimal realization. The compositionality of minimization has application to model-checking.
متن کاملar X iv : h ep - p h / 03 04 07 9 v 2 9 A pr 2 00 3 ON A TWO POMERON DESCRIPTION OF THE F 2 STRUCTURE FUNCTION
We perform a global fit to the inclusive structure function considering a QCD inspired model based on the summation of gluon ladders describing the ep scattering. In lines of a two Pomeron approach, the structure function F 2 has a hard piece given by the model and the remaining soft contributions: the soft Pomeron and non-singlet content. We have investigated several choices for the soft Pomer...
متن کامل9 v 2 9 A pr 2 00 4 Vector - Meson - Dominance model contribution to π 0 →
Vector-Meson-Dominance model contribution to π 0 → 4γ is calculated. The result confirms old estimates that this contribution is much smaller than the purely electromagnetic photon spliting graph contribution calculated earlier. In the framework of the Vector-Meson-Dominance (VMD) model, the decay π 0 → 4γ was considered in [1] and [2]. However, no complete evaluation of the decay width can be ...
متن کامل